home *** CD-ROM | disk | FTP | other *** search
/ Mac Power 1997 November / MACPOWER-1997-11.ISO.7z / MACPOWER-1997-11.ISO / AMUG / MUSIC / bol-processor-271-data.sit / bol-processor-271-data / BP2 examples / BP2 data / -gr.tryflags3 < prev    next >
Text File  |  1995-06-16  |  815b  |  21 lines
  1. V.2.5
  2. Date: Fri, Jun 16, 1995 -- 18:05
  3. -in.abc1
  4. -se.tryflags3
  5. -ho.abc
  6.  
  7. // This grammar produces ALL strings of length 8 containing a's and b's, and c's in positions 4 and 6.  Every string contains at least two a's.
  8. // Note the four infinite-weight rules. If several of them are candidate then the first one is selected.
  9. // On the "Misc. settings" dialog, "Produce all items" is ON.
  10. // The number of different strings thus produced is 53.
  11.  
  12. RND
  13. GRAM#1[1] S        -->    X /pos = 1/ /done = 0/
  14. GRAM#1[2] X    -->    a X /pos +1/ /done +1/
  15. GRAM#1[3] X -->     b X /pos +1/
  16. GRAM#1[4] <ｰ> /pos > 8/ X    --> lambda [Infinite weight]
  17. GRAM#1[5] <ｰ> /pos ｳ 7/ /done < 2/  X    --> a X /pos +1/ /done +1/ [Infinite weight]
  18. GRAM#1[6] <ｰ> /pos = 4/  X    -->    c X /pos +1/ [Infinite weight]
  19. GRAM#1[7] <ｰ> /pos = 6/  X    -->    c X /pos +1/ [Infinite weight]
  20.  
  21.